$\forall$${\it es}$:ES, ${\it ff}$:FIFO. ${\it ff}$.T $\in$ Type